3

Notes on Formal Theories of Truth

Année:
1989
Langue:
english
Fichier:
PDF, 1.75 MB
english, 1989
4

Hartry Field, Saving Truth from Paradox

Année:
2010
Langue:
english
Fichier:
PDF, 175 KB
english, 2010
7

Asymmetric Interpretations for Bounded Theories

Année:
1996
Langue:
english
Fichier:
PDF, 939 KB
english, 1996
8

Extending constructive operational set theory by impredicative principles

Année:
2011
Langue:
english
Fichier:
PDF, 200 KB
english, 2011
9

A note on three-valued logic and Tarski theorem on truth definitions

Année:
1980
Langue:
english
Fichier:
PDF, 620 KB
english, 1980
10

Toward Useful Type-Free Theories Iby Solomon Feferman

Année:
1995
Langue:
english
Fichier:
PDF, 153 KB
english, 1995
11

Paradoxes: Their Roots, Range, and Resolutionby Nicholas Rescher

Année:
2004
Langue:
english
Fichier:
PDF, 1.01 MB
english, 2004
12

The axiom of choice and combinatory logic

Année:
2003
Langue:
english
Fichier:
PDF, 790 KB
english, 2003
14

Feasible Operations and Applicative Theories Based on λη

Année:
2000
Langue:
english
Fichier:
PDF, 263 KB
english, 2000
16

On Weak Theories of Sets and Classes which are Based on Strict ∏-REFLECTION

Année:
1985
Langue:
english
Fichier:
PDF, 771 KB
english, 1985
17

Two Impredicative Theories of Properties and Sets

Année:
1988
Langue:
english
Fichier:
PDF, 1.04 MB
english, 1988
18

On non-archimedean Structures of D. KLAUA

Année:
1979
Langue:
english
Fichier:
PDF, 390 KB
english, 1979
19

Proof of the Razumov–Stroganov conjecture

Année:
2011
Langue:
english
Fichier:
PDF, 510 KB
english, 2011
21

A logic of abstraction related to finite constructive number classes

Année:
1991
Langue:
english
Fichier:
PDF, 731 KB
english, 1991
22

Majorizing provably recursive functions in fragments of PA

Année:
1985
Langue:
english
Fichier:
PDF, 575 KB
english, 1985
23

Polytime, combinatory logic and positive safe induction

Année:
2002
Langue:
english
Fichier:
PDF, 168 KB
english, 2002
24

Remarks on applicative theories

Année:
2005
Langue:
english
Fichier:
PDF, 321 KB
english, 2005
30

The Undecidability of Gris̆in's Set Theory

Année:
2003
Langue:
english
Fichier:
PDF, 1.51 MB
english, 2003
35

LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR

Année:
1992
Langue:
english
Fichier:
PDF, 1.64 MB
english, 1992
38

Saving Truth from Paradoxby Hartry Field

Année:
2010
Langue:
english
Fichier:
PDF, 562 KB
english, 2010
39

The Axiom of Choice and Combinatory Logic

Année:
2003
Langue:
english
Fichier:
PDF, 367 KB
english, 2003
40

Proof Theory. An Introduction

Année:
1993
Langue:
english
Fichier:
PDF, 321 KB
english, 1993
41

A one-parameter refinement of the Razumov–Stroganov correspondence

Année:
2014
Langue:
english
Fichier:
PDF, 988 KB
english, 2014
46

Logic and Foundations of Mathematics || Intuitionistic Modal Logic

Année:
1999
Langue:
english
Fichier:
PDF, 1.15 MB
english, 1999
48

Uniform inseparability in explicit mathematics

Année:
1999
Langue:
english
Fichier:
PDF, 912 KB
english, 1999
49

Extending the First-Order Theory of Combinators with Self-Referential Truth

Année:
1993
Langue:
english
Fichier:
PDF, 1.99 MB
english, 1993